|
John Corcoran (born 1937) is a logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Eight of Corcoran’s papers have been translated into Spanish, Portuguese, and Persian; his 1989 "signature" essay〔Argumentations and Logic. Argumentation ‘’’3’’’(1989) 17–43., 1994 Spanish translation by R. Fernandez and J. Sagüillo;2010 Portuguese translation by W. Sanz; 2011 Persian translation by H. Masoud.〕 was translated into all three languages. Fourteen of his papers have been reprinted; one was reprinted twice. His work on Aristotle’s logic of the Prior Analytics is regarded as being highly faithful both to the Greek text and to the historical context.〔Degnan, M. 1994. Recent Work in Aristotle's Logic. Philosophical Books 35.2 (April, 1994): 81-89.〕 It is the basis for many subsequent investigations. It was adopted for the 1989 translation of the Prior Analytics by Robin Smith and for the 2009 translation of the Prior Analytics Book A by Gisela Striker. A bibliography of Corcoran’s publications on Aristotle's logic is available at ResearchGate. https://www.researchgate.net/profile/John_Corcoran2/ Corcoran’s 2014 paper with Hassan Masoud— “Existential import today: New metatheorems; historical, philosophical, and pedagogical misconceptions” – is currently fourth on the “most-read” list at History and Philosophy of Logic.〔http://www.tandfonline.com/action/showMostReadArticles?journalCode=thpl20&〕 His mathematical results on definitional equivalence of formal string theories, sciences of strings of characters over finite alphabets, are foundational for logic, formal linguistics, and computer science.〔String Theory. Journal of Symbolic Logic 39 (1974) 625–37. Co-authored by two of his doctoral students W. Frank (UPenn, Linguistics) and M. Maloney (UPenn, Computer Science).〕 A current list of all of Corcoran’s publications is available at ResearchGate. https://www.researchgate.net/profile/John_Corcoran2/ ==Education== Corcoran studied engineering at the Baltimore Polytechnic Institute, Advanced Curriculum Engineering 1956, and the Johns Hopkins University, BES Mechanical Engineering 1959. After briefly working in engineering, he studied philosophy at the Johns Hopkins University: MA Philosophy 1962, PhD. Philosophy 1963. Post-doctoral study: Yeshiva University, Mathematics 1964 and University of California Berkeley, Mathematics 1965. Dissertation: Generative Structure of Two-valued Logics; Supervisor Robert McNaughton (PhD student of Willard Van Orman Quine). Corcoran’s student years, the late 1950s and early 1960s, were wonderful times to be learning logic, its history, and its philosophy. His first logic teacher was Albert Hammond, who passed on from his own dissertation supervisor Arthur Lovejoy the tradition of the history of ideas—a tradition that his university, The Johns Hopkins University, had become famous for. Corcoran studied Plato and Aristotle with Ludwig Edelstein, the historian of Greek science and medicine who held appointments both at The Johns Hopkins University and at its School of Medicine. His next two logic teachers were both accomplished and knowledgeable symbolic logicians: Joseph Ullian, a Quine PhD, and Richard Wiebe, a Mates PhD who had studied with Carnap and Tarski. Corcoran’s dissertation supervisor, his doctor father, was Robert McNaughton, a Quine PhD who had already made a name for himself in three fields: the metamathematics of number theory, the theory of formal languages, and the theory of automata. McNaughton encouraged Corcoran to do post-doctoral studies at Yeshiva University in New York City with Raymond Smullyan and Martin Davis, both doctoral students of Alonzo Church. McNaughton later encouraged Corcoran to go to UC Berkeley, the world center for logic and methodology, and he recommended Corcoran to his Berkeley colleagues. He was also instrumental in Corcoran’s move to his first tenure-track position, at the University of Pennsylvania, where McNaughton was a Professor of Computer and Information Science. In those early years Corcoran also attended semester-long courses and seminars by several other logicians, including John Addison, a Stephen Kleene PhD, Leon Henkin, another Church PhD, and John Myhill, another Quine PhD. Corcoran often mentions his teachers with great respect and warmth. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「John Corcoran (logician)」の詳細全文を読む スポンサード リンク
|